package newDfa;


import java.io.File;
import java.util.HashMap;

public class Main {
    public static void main(String[] args) {
        TxtReadIn readIn = new TxtReadIn(2);
        File file = new File("F:\\homeworkFormJun\\input\\FACT2.txt");
        HashMap<Integer, int[][]> hash  = readIn.txt2String(file);
        int[][] dfa1 = hash.get(0);
        int[][] dfa2 = hash.get(1);
        Synthesis synthesis = new Synthesis(dfa1, dfa2);
        System.out.println(new dfaCheck(dfa1).getEvents());

    }
}
